Tokyo University of Science

Results: 477



#Item
41Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

Add to Reading List

Source URL: www-kb.is.s.u-tokyo.ac.jp

Language: English - Date: 2016-04-18 06:57:45
    42Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

    Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

    Add to Reading List

    Source URL: www.shudo.net

    Language: English - Date: 2003-06-09 05:29:35
      43Cell Illustrator™ Player: Reference Manual © Human Genome Center, Institute of Medical Science, The University of Tokyo All rights reserved.

      Cell Illustrator™ Player: Reference Manual © Human Genome Center, Institute of Medical Science, The University of Tokyo All rights reserved.

      Add to Reading List

      Source URL: www.cellillustrator.com

      Language: English - Date: 2017-04-05 09:32:55
        44Institute of Social Science, The University of Tokyo Discussion Paper Series J-162 May, 2008 近世的政策金融の終焉

        Institute of Social Science, The University of Tokyo Discussion Paper Series J-162 May, 2008 近世的政策金融の終焉

        Add to Reading List

        Source URL: jww.iss.u-tokyo.ac.jp

        Language: Japanese - Date: 2018-03-21 06:15:22
          45Discussion Paper Series University of Tokyo Institute of Social Science Panel Survey

          Discussion Paper Series University of Tokyo Institute of Social Science Panel Survey

          Add to Reading List

          Source URL: csrda.iss.u-tokyo.ac.jp

          Language: Japanese - Date: 2015-08-30 21:09:26
            46125th Founding Anniversary and 50th Reorganization Anniversary of the Institute of Medical Science, The University of Tokyo ●12th International Symposium of the Institute Network

            125th Founding Anniversary and 50th Reorganization Anniversary of the Institute of Medical Science, The University of Tokyo ●12th International Symposium of the Institute Network

            Add to Reading List

            Source URL: www.ims.u-tokyo.ac.jp

            Language: English - Date: 2017-07-27 22:00:55
              47Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency

              Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency

              Add to Reading List

              Source URL: nicosia.is.s.u-tokyo.ac.jp

              Language: English - Date: 2005-05-01 05:50:08
                48School of Science, The University of Tokyo 東京大学理学部 2016

                School of Science, The University of Tokyo 東京大学理学部 2016

                Add to Reading List

                Source URL: www.s.u-tokyo.ac.jp

                Language: English - Date: 2016-06-13 01:49:09
                  49Draft Charter of The East Asian Community An Academic Proposal Tamio Nakamura Institute of Social Science, University of Tokyo.

                  Draft Charter of The East Asian Community An Academic Proposal Tamio Nakamura Institute of Social Science, University of Tokyo.

                  Add to Reading List

                  Source URL: project.iss.u-tokyo.ac.jp

                  Language: English - Date: 2007-07-23 11:00:00
                    50Nonlinear Science Seminar: Effects of Singularities Abstract Philip J. Morrison (University of Texas at Austin) Title: Hamiltonian Description of Matter I Abstract: The Hamiltonian form and its intimately aligned action

                    Nonlinear Science Seminar: Effects of Singularities Abstract Philip J. Morrison (University of Texas at Austin) Title: Hamiltonian Description of Matter I Abstract: The Hamiltonian form and its intimately aligned action

                    Add to Reading List

                    Source URL: www.ppl.k.u-tokyo.ac.jp

                    Language: English - Date: 2018-01-28 20:28:40